deploy war file on tomcat server using jenkins pipeline